Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
721	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
722	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
723	Michael Yoshitaka Erlewine Curriculum Vitae: February 2015 Email: [removed] Add to Reading List Source URL: mitcho.com Language: English - Date: 2015-03-03 01:16:52 Knowledge Austronesian Formal Linguistics Association Michael Kenstowicz West Coast Conference on Formal Linguistics Austronesian languages Atayal language Linguistics Science Academia
724	Data Sheet Actian DataFlow™ Capture More Data Value Faster from Hadoop Key Benefits Process data natively on Hadoop, Add to Reading List Source URL: wwwcdn2.actian.com Language: English - Date: 2015-04-01 20:09:58 Formal sciences Cloud infrastructure Business intelligence Hadoop Parallel computing Apache Hadoop MapReduce HBase Predictive Model Markup Language Computing Concurrent computing Data management
725	Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Automated theorem proving Lisp programming language Theoretical computer science Logic in computer science Formal methods ACL2 Formal verification Logic programming J Strother Moore Computing Software engineering Computer programming
726	Microsoft Word - 12-Miscellaneous-Parsing.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:39 Parsing Parser generators Compiling tools Compiler construction LALR parser Formal languages LR parser LL parser Lookahead Programming language implementation Software Computing
727	Ms. Vadacchino Formal Writing Tips Brainstorm a complete outline before you begin writing. Know how you want to finish and what ideas you want to write before you begin. DO NOT SKIP THIS STEP! If you do, your essay will Add to Reading List Source URL: msvadacchino.files.wordpress.com Language: English - Date: 2014-11-06 15:40:28 Education Topic sentence Thesis Paragraph Copula Essay Writing Linguistics Language
728	The Midpoint Pathology: What it is and what it isn’t1 Brett Hyde Washington University March 2015 The term Midpoint Pathology, coined in Hyde (2008), refers to a set of defective predictions, firs Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2015-03-24 00:21:06 Automata theory String Syllable Regular language Stress Linguistics Phonology Formal languages
729	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing
730	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science

UPDATE